An Exchange Format for Modular Knowledge
نویسندگان
چکیده
We present a knowledge exchange format that is designed to support the exchange of modularly structured information in mathematical and logical systems. This format allows to encode mathematical knowledge in a logic-neutral representation format that can represent the meta-theoretic foundations of the systems together with the knowledge itself and to interlink the foundations at the meta-logical level. This “logics-as-theories” approach, makes system behaviors as well as their represented knowledge interoperable and thus comparable. The advanced modularization features of our system allow communication between systems without losing structure. We equip the proposed format with a web-scalable XML/URI-based concrete syntax so that it can be used as a universal interchange and archiving format for existing systems.
منابع مشابه
Antimony: a modular model definition language
MOTIVATION Model exchange in systems and synthetic biology has been standardized for computers with the Systems Biology Markup Language (SBML) and CellML, but specialized software is needed for the generation of models in these formats. Text-based model definition languages allow researchers to create models simply, and then export them to a common exchange format. Modular languages allow resea...
متن کاملAGraphs: Definition, implementation and tools
AGraphs are a graph-based language representation, transformation and exchange format. In the same vein as XML, AGraphs form a general data representation mechanism that needs to be instantiated in different specific applications. In this paper, we present the AGraphs data structure, programming interface and related tools, identify their main features with respect to exchange format characteri...
متن کاملModular approach for an ASIC integration of electrical drive controls
VLSI circuits design allows today to consider new modes of implementation for electrical controls. However, design techniques require an adaptation effort that few designers, too accustomed to the software approach, provide. The authors of this article propose to develop a methodology to guide the electrical designers towards optimal performances of control algorithms implementation. Thus, they...
متن کاملModular Design and Verification of Logical Knowledge Bases
In this paper we describe a framework for the design of modular knowledge based systems which is motivated by work in algebraic specification and software engineering. The main characteristic of the framework is that verification work can be done in a local setting. We present two concrete module concepts within this framework, and give formal semantics and correctness notions for them. Finally...
متن کاملFixed point theorems for new J-type mappings in modular spaces
In this paper, we introduce $rho$-altering $J$-type mappings in modular spaces. We prove some fixed point theorems for $rho$-altering and $rho$-altering $J$-type mappings in modular spaces. We also furnish illustrative examples to express relationship between these mappings. As a consequence, the results are applied to the existence of solution of an integral equation arising from an ODE ...
متن کامل